const char *greeting();
